katalozi baze podataka digitalne zbirke usluge kontakt
Podaci iz CDS/ISIS-a prije konverzije
Ovaj katalog ne obnavlja se od 2008. godine.

Nova verzija kataloga, s ažurnim podacima o dostupnosti primjeraka , nalazi se na adresi http://koha.ffzg.hr.

Rezultati pretraživanja

Broj rezultata: 1

1
ISBN:0-262-19349-3
Autor(i):Schmidt, David A.
Naslov:The structure of typed programming languages / David A. Schmidt
Impresum:Cambridge, Mass. ; London : The MIT Press , 1994
Materijalni opis:XIV, 367 str. ; 24 cm
Jezik:engleski
Nakladnička cjelina:Foundations of computing
Napomena:Str. 343-360: Bibliografija. - Str. 361-67: Kazalo
Ključne riječi:računalstvo * programski jezici
Sažetak:<programmnig lanuguage core> <abstraction principle> <qualification principle> <records> <lambda abstractions> <lambda calculus> <functional programming languages> <propositional-logic typing> <predicate-logic typing> <computing science> <computers>
UDK:004
Namjena :lin
Signatura:LO 004 SCH S
Inventarni broj:15884
Vrsta građe:knjiga
Knjižnica:Knjižnica Odsjeka za lingvistiku i orijentalne studije, http://www.knjiznice.ffzg.hr/lingvistika
MFN:955
1

Upit: PersonalName_swish=(Schmidt David A. )

login